A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION

• 一个安全、原子的电子商务协议及其形式化验证